منابع مشابه
Algorithmic reducibilities of algebraic structures
Using admissibility for a computable model theory for uncountable structures
متن کاملGeneralized Quantifiers and Logical Reducibilities
We consider extensions of first order logic (FO) and least fixed point logic (LFP) with generalized quantifiers in the sense of Lindström [Lin66]. We show that adding a finite set of such quantifiers to LFP fails to capture all polynomial time properties of structures, even over a fixed signature. We show that this strengthens results in [Hel92] and [KV92a]. We also consider certain regular inf...
متن کاملMinimal Degrees for Honest Polynomial Reducibilities
The existence of minimal degrees is investigated for several polynomial reducibilities. It is shown that no set has minimal degree with respect to polynomial many-one or Turing reducibility. This extends a result. of Ladner [L] whew reciirsive sets are considered. An "honest '' polynomial reducibility, < ; , is defined which is a strengthening of polynomial Turing reduc-ibility. We prove that n...
متن کاملChaitin Numbers and Strong Reducibilities
We prove that any Chaitin number (i.e., the halting probability of a universal self-delimiting Turing machine) is wtt-complete, but not tt-complete. In this way we obtain a whole class of natural examples of wtt-complete but not tt-complete r.e. sets. The proof is direct and elementary.
متن کاملon translation of phatic communion and socio-cultural relationships between the characters of the novels
phatic communion is a cultural concept which differs across cultures. according to hofstede (2001), the u.s. tends to have individualistic culture; however, asian countries tend to have collectivistic cultures. these cultures view phatic communion differently. in individualistic cultures like u.s., phatic communion reflects speakers’ socio-cultural relationships in conversations. to see whether...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1969
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1969-0245439-x